$\forall$$A$, $B$:Type. strong{-}subtype($A$;$B$) $\Rightarrow$ ($\forall$$a$:$A$. \{$z$:$B$$\mid$ $z$ = $a$ $\in$ $B$\}  $\subseteq$r $A$)